/* Task in Bank 1 */

#include <rtx51.h>

unsigned int count1;

void bank_1_task (void) _task_ 3
{
   count1 = 0;
   while (1) {
      os_wait2 (K_TMO, 10);
      count1++;
   }
}
